稳定驻波的能量

运用波的叠加原理 ,分析驻波的能量分布和能流     

一类奇摄动三阶系统边值问题的渐近解

本文获得了一类三阶系统边值问题解的存在性及其精确到任意精度的一致有效估计.     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统